Model validation

Automatic validation of computational models using pseudo-3D spatio-temporal model checking

Model Checking / Computational Modelling / Systems Biology / Model validation / Multidimensional / Stochastic Spatial Discrete Event System / Probabilistic Bounded Linear Spatial Temporal Logic (PBLSTL) / Spatio-temporal / Mudi / Stochastic Spatial Discrete Event System / Probabilistic Bounded Linear Spatial Temporal Logic (PBLSTL) / Spatio-temporal / Mudi

ENERGETIC MATERIAL RESPONSE IN A COOKOFF MODEL VALIDATION EXPERIMENT

Model validation / Sample Size / High Speed / Digital Image / Experimental Data / Department of Energy

3D Unsteady RANS Modeling of Complex Hydraulic Engineering Flows. I: Numerical Model

Civil Engineering / Hydraulics / Modeling / Simulation / Model validation / Hydraulic Engineering / Turbulent Flow / Hydraulic / Numerical Model / Boundary Condition / Reynolds Number / Simulation Model / Hydraulic Engineering / Turbulent Flow / Hydraulic / Numerical Model / Boundary Condition / Reynolds Number / Simulation Model

Development of dense gas dispersion model for emergency preparedness

Environmental Engineering / Sensitivity Analysis / Emergency Response / Atmospheric sciences / Model validation / Model development / Mathematical Model / Field Trial / Emergency Preparedness / Air Entrainment / Model development / Mathematical Model / Field Trial / Emergency Preparedness / Air Entrainment

CARINA data synthesis project: pH data scale unification and cruise adjustments

Quality Control / Mediterranean Sea / Southern Ocean / Model validation / Ocean acidification / Inverse Analysis / Sea Water / Inverse Analysis / Sea Water

RFnest™: Radio frequency network emulator simulator tool

Model validation / Impulse response / Radio Frequency / Field Programmable Gate Array / Real Time / Virtual Networks / Network Emulation / Front end / Modular Design / Network Simulator / Simulation Tool / Channel Impulse Response (CIR) / Wireless Communication / Virtual Networks / Network Emulation / Front end / Modular Design / Network Simulator / Simulation Tool / Channel Impulse Response (CIR) / Wireless Communication

Flux comparison of Eulerian and Lagrangian estimates of Agulhas leakage: A case study using a numerical model

Geochemistry / Oceanography / Time Series / Indian Ocean / Model validation / Case Study / High Resolution / Numerical Model / Linear Regression / Deep Sea / Velocity Field / Case Study / High Resolution / Numerical Model / Linear Regression / Deep Sea / Velocity Field

A multimedia environmental model of chemical distribution: Fate, transport, and uncertainty analysis

Monte Carlo / Sensitivity Analysis / Multidisciplinary / Great Lakes Region / Model validation / Case Study / Surface Water / Partition Coefficient / Spatial Distribution / Organic carbon / Chemical Properties / Environmental Pollutants / Monte Carlo Method / Hexachlorobenzene / Case Study / Surface Water / Partition Coefficient / Spatial Distribution / Organic carbon / Chemical Properties / Environmental Pollutants / Monte Carlo Method / Hexachlorobenzene

Checking UML model consistency

Model Checking / Formal Semantics / Model validation / Object Oriented Software Modeling / Class Diagram / Test Case Generation / Design and Development / Boolean Satisfiability / Test Case Generation / Design and Development / Boolean Satisfiability

An estrogen receptor repressor induces cataract formation in transgenic mice

Multidisciplinary / Transgenic Mice / Estrogen Receptor / Model validation / Humans / Mice / Female / Animals / Male / Cataract / Sexual maturity / Power Modeling / Sexual Maturation / Transgenic Mouse Technology / Diethylstilbestrol / Ovariectomy / Estrogen receptor alpha / Mice / Female / Animals / Male / Cataract / Sexual maturity / Power Modeling / Sexual Maturation / Transgenic Mouse Technology / Diethylstilbestrol / Ovariectomy / Estrogen receptor alpha

Flux comparison of Eulerian and Lagrangian estimates of Agulhas leakage: A case study using a numerical model

Geochemistry / Oceanography / Time Series / Indian Ocean / Model validation / Case Study / High Resolution / Numerical Model / Linear Regression / Deep Sea / Velocity Field / Case Study / High Resolution / Numerical Model / Linear Regression / Deep Sea / Velocity Field

Model validation in closed loop

Modeling / Model validation / Uncertainty / Data Collection / Transfer Functions

Virtual Model Validation for Economics

Model validation

Empleo del modelo SWRRB para generar alternativas de manejo en la Cuenca Itzapa, Guatemala

Model validation

Copyright © 2017 DATOSPDF Inc.